e.P(e) op e'.Q(e') with R
== f:{e:E| P(e)} {e:E| Q(e)} 
== ((e.P(e) a.f(a) e'.Q(e')) with R & e.f(e) is c< preserving on e.P(e)) 

latex

---

clarification:

causally-op-related(es;e.P(e);e'.Q(e');R)
== f:{e:es-E(es)| P(e)} {e:es-E(es)| Q(e)} 
== (causal-bijection(es;a.f(a);e.P(e);e'.Q(e');R)
== & causal-order-preserving(es;e.f(e);e.P(e))) 

latex

Definitions	x:A. B(x), x:AB(x), {x:A| B(x)} , E, P & Q, (e.P(e) a.f(a) e'.Q(e')) with R, a.f(a) is c preserving on e.P(e), f(a)
FDL editor aliases	causally-op-related